A UML-based static verification framework for security
نویسندگان
چکیده
منابع مشابه
A Uml-based Static Verification Framework for Security Journal Article a Uml-based Static Verification Framework for Security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates that security characteristics should be considered from the early stages of the software development life cycle and should not be added as another layer in the system on an ad-hoc basis after the system is built. In ...
متن کاملStatic Verification of UML Model Consistency
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a UML model. Many approaches for model validation and verification rely on generation of suitable code which dynamically (i.e....
متن کاملA Verification Framework for Stateful Security Protocols
A long-standing research problem is how to efficiently verify security protocols with tamper-resistant global states, especially when the global states evolve unboundedly. We propose a protocol specification framework, which facilitates explicit modeling of states and state transformations. On the basis of that, we develop an algorithm for verifying security properties of protocols with unbound...
متن کاملA framework for the static verification of api calls
A number of tools can statically check program code to identify commonly encountered bug patterns. At the same time, programs are increasingly relying on external APIs for performing the bulk of their work: the bug-prone program logic is being fleshed-out, and many errors involve tricky subroutine calls to the constantly growing set of external libraries. Extending the static analysis tools to ...
متن کاملEvaluating A Uml-Based Modeling Framework For Process-Related Security Properties: A Qualitative Multi-Method Study
In recent years, we developed a modeling framework for process-related security properties, the BusinessActivities Framework. This paper reports on a long-term empirical study to evaluate the applicability of four UML extensions included in the BusinessActivities Framework. We used an exploratory research design employing four interpretative case studies followed by three semistructured intervi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Requirements Engineering
سال: 2009
ISSN: 0947-3602,1432-010X
DOI: 10.1007/s00766-009-0091-y